%人名
\newglossaryentry{Round}{name={Round}, description={浪斗}}
%符号
\glsxtrnewsymbol[description={\(p\)且\(q\),合取联结词}]{wedge}{\(p\wedge q\)}
\glsxtrnewsymbol[description={\(p\)或\(q\),析取联结词}]{vee}{\(p\vee q\)}
\glsxtrnewsymbol[description={非\(p\),否定联结词}]{neg}{\(\neg p\)}
\glsxtrnewsymbol[description={\(p\)蕴含\(q\),蕴含联结词}]{to}{\(p\to q\)}
\glsxtrnewsymbol[description={\(p\)等价于\(q\),等价联结词}]{leftrightarrow}{\(p\leftrightarrow q\)}
\glsxtrnewsymbol[description={\(p\)与非\(q\),与非联结词}]{uparrow}{\(p\uparrow q\)}
\glsxtrnewsymbol[description={\(p\)或非\(q\),或非联结词}]{downarrow}{\(p\downarrow q\)}
\glsxtrnewsymbol[description={对任意\(x\),全称量词;存在\(x\),存在量词}]{forallexists}{\(\forall x,\exists x\)}
\glsxtrnewsymbol[description={极大项;极小项}]{Mimi}{\(M_i;m_i\)}
\glsxtrnewsymbol[description={\(A\),\(B\)的消解式}]{Res}{\(\Res(A,B)\)}
\glsxtrnewsymbol[description={推理}]{vdash}{\(\vdash\)}
\glsxtrnewsymbol[description={正确推理;错误推理}]{ndashnvDash}{\(\vDash;\nvDash\)}
\glsxtrnewsymbol[description={属于}]{in}{\(\in\)}
\glsxtrnewsymbol[description={子集;真子集}]{subseteqsubset}{\(\subseteq;\subset\)}
\glsxtrnewsymbol[description={空集或空图}]{emptyset}{\(\emptyset\)}
\glsxtrnewsymbol[description={集合\(A\)的幂集}]{powerset}{\(P(A)\)}
\glsxtrnewsymbol[description={\(A\)与\(B\)的并集;\(A\)与\(B\)的交集}]{cupcap}{\(A\cup B;A\cap B\)}
\glsxtrnewsymbol[description={\(A\)与\(B\)的相对补集}]{AB}{\(A-B\)}
\glsxtrnewsymbol[description={\(A\)与\(B\)的笛卡尔积}]{AtimesB}{\(A\times B\)}
\glsxtrnewsymbol[description={\(A\)与\(B\)有(没有)关系\(R\)}]{xRy}{\(xRy;x/\hspace{-0.55em}Ry\)}
\glsxtrnewsymbol[description={定义域;值域;域}]{domranfld}{\(\dom ;\ran ;\fld\)}
\glsxtrnewsymbol[description={\(A\)在\(R\)上的限制;像}]{uparpooonright}{\(R\upharpoonright A;R[A]\)}
\glsxtrnewsymbol[description={\(x\)所处的等价类}]{xR}{\([x]_R\)}
\glsxtrnewsymbol[description={\(A\)关于\(R\)的商集}]{AR}{\(A/R\)}
\glsxtrnewsymbol[description={偏序关系}]{preccurlyeq}{\(\preccurlyeq\)}
\glsxtrnewsymbol[description={等势;优势}]{approx}{\(\approx;\preccurlyeq\hspace{-0.3em}\cdot\)}
\glsxtrnewsymbol[description={\(A\)与\(B\)的无序积}]{AandB}{\(A\& B\)}
\glsxtrnewsymbol[description={无向图有向图}]{GD}{\(G;D\)}
\glsxtrnewsymbol[description={点\(v\)的邻域;闭邻域}]{NGv}{\(N_G(v);\overline{N_G}(v)\)}
\glsxtrnewsymbol[description={\(v\)的后继元素;先驱元素}]{GammaDv}{\(\Gamma^+_D(v);\Gamma^-_D(v)\)}
\glsxtrnewsymbol[description={点\(v\)的度;出度;入度}]{dv}{\(d(v);d^+(v);d^-(v)\)}
\glsxtrnewsymbol[description={图\(G\)的最大度;最小度}]{deltaG}{\(\Delta(G);\delta(G)\)}
\glsxtrnewsymbol[description={边/点集\(A\)导出的子图}]{GE}{\(G[A]\)}
\glsxtrnewsymbol[description={图\(G\)的补图}]{overlineG}{\(\overline{G}\)}
\glsxtrnewsymbol[description={\(a\)整除\(b\)}]{amidb}{\(a\mid b\)}
\glsxtrnewsymbol[description={\(a\)与\(b\)的最大公因数}]{gcdab}{\(\gcd(a,b)\)}
\glsxtrnewsymbol[description={\(a\)与\(b\)的最小公倍数}]{lcmab}{\(\lcm(a,b)\)}
\glsxtrnewsymbol[description={\(a\)与\(b\)关于\(m\)同余}]{aequivbmodm}{\(a\equiv b(\mod m)\)}
\glsxtrnewsymbol[description={欧拉函数}]{varphi}{\(\varphi(n)\)}